Theoremproving machine
[计] 定理证明机
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
He's a lawyer, in Thessaloniki.
他是Thessaloniki的一名律师。
How much do you know about the works of Henry Wadsworth Longfellow?
你对亨利·朗费罗的工作知道多少？
and that their commissariat had no organization, but depended on irregular raids.
他们的军需供应处于无组织状态，只是靠临时抢夺来维持。